Low-level programming language

Results: 63



#Item
11research highlights DOI:70 1 Stochastic Program Optimization By Eric Schkufza, Rahul Sharma, and Alex Aiken

research highlights DOI:70 1 Stochastic Program Optimization By Eric Schkufza, Rahul Sharma, and Alex Aiken

Add to Reading List

Source URL: raw.githubusercontent.com

Language: English
12Noise-Based Testing and Analysis of Multi-threaded C/C++ Programs on the Binary Level

Noise-Based Testing and Analysis of Multi-threaded C/C++ Programs on the Binary Level

Add to Reading List

Source URL: faculty.uoit.ca

Language: English - Date: 2012-07-17 10:09:04
13Stratified Synthesis: Automatically Learning the x86-64 Instruction Set Stefan Heule Eric Schkufza

Stratified Synthesis: Automatically Learning the x86-64 Instruction Set Stefan Heule Eric Schkufza

Add to Reading List

Source URL: raw.githubusercontent.com

Language: English
14Preface This book (CS:APP) is for computer scientists, computer engineers, and others who want to be able to write better programs by learning what is going on “under the hood” of a computer system. Our aim is to exp

Preface This book (CS:APP) is for computer scientists, computer engineers, and others who want to be able to write better programs by learning what is going on “under the hood” of a computer system. Our aim is to exp

Add to Reading List

Source URL: csapp.cs.cmu.edu

Language: English - Date: 2010-02-14 12:52:36
15Krzysztof Woś Low-level code optimisations in the Glasgow Haskell Compiler .

Krzysztof Woś Low-level code optimisations in the Glasgow Haskell Compiler .

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2012-12-14 11:06:00
16LLDSAL: A Low-Level Domain-Specific Aspect Language for Dynamic Code-Generation and Program Modification Mathias Payer Boris Bluntschli

LLDSAL: A Low-Level Domain-Specific Aspect Language for Dynamic Code-Generation and Program Modification Mathias Payer Boris Bluntschli

Add to Reading List

Source URL: hexhive.github.io

Language: English - Date: 2016-06-13 11:08:40
17LLDSAL A Low-Level Domain-Specific Aspect Language for Dynamic Code-Generation and Program Modification Mathias Payer, Boris Bluntschli, & Thomas R. Gross Department of Computer Science

LLDSAL A Low-Level Domain-Specific Aspect Language for Dynamic Code-Generation and Program Modification Mathias Payer, Boris Bluntschli, & Thomas R. Gross Department of Computer Science

Add to Reading List

Source URL: hexhive.github.io

Language: English - Date: 2016-06-13 11:08:40
18Garbage Collection and the Case for High-level Low-level Programming Daniel Frampton A thesis submitted for the degree of

Garbage Collection and the Case for High-level Low-level Programming Daniel Frampton A thesis submitted for the degree of

Add to Reading List

Source URL: users.cecs.anu.edu.au

Language: English - Date: 2011-01-20 20:17:01
19Efficient Formally Secure Compilers to a Tagged Architecture General Information machine-checked proofs of full abstraction with respect to a secure high-level semantics [3]. This is much stronger than

Efficient Formally Secure Compilers to a Tagged Architecture General Information machine-checked proofs of full abstraction with respect to a secure high-level semantics [3]. This is much stronger than

Add to Reading List

Source URL: prosecco.gforge.inria.fr

Language: English - Date: 2015-12-11 07:16:08
20

PDF Document

Add to Reading List

Source URL: jburket.com

Language: English - Date: 2015-04-08 00:04:54